body { scrollbar-arrow-color: #cccccc; scrollbar-3dlight-color: #111111; scrollbar-highlight-color: #666666; scrollbar-face-color: #444444; scrollbar-shadow-color: #191919; scrollbar-track-color: #111111; scrollbar-darkshadow-color: #191919}
p { margin-top: 4px; margin-bottom: 16px;}
div.margin {margin-left: 6px}